This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been incl...(展开全部)

范爱默伦，国际顶级论辩理论专家、荷兰阿姆斯特丹大学教授，国际论辩研究院荷方院长，语用论辩学的创立者和阿姆斯特丹学派的领军人物。

The Handbook Argumentation Theory provides an up to date survey of the various theoretical contributions to the development of argumentation theory for all scholars interested in argumentation, informal logic and rhetoric. It describes the historical roots of modern argumentation theory that are still an important theoretical background to contemporary approaches. Because of th...(展开全部)

This handbook is the definitive compendium of the methods, results, and current initiatives in modern set theory in all its research directions. Set theory has entered its prime as an advanced and autonomous field of mathematics with foundational significance, and the expanse and variety of this handbook attests to the richness and sophistication of the subject. The chapters ar...(展开全部)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and compu...(展开全部)

This volume brings together for the first time a detailed examination of the state of phonological theory in this decade.

This volume brings together for the first time a detailed examination of the state of phonological theory in this decade.